Browsing by Subject "Resource failures"
Now showing items 1-1 of 1
-
Article
Modeling and analysis of power-aware systems
(2003)The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...